LogicVision Certifies Verplex"s Formal Verification for Its Embedded Test Flow

Product Interoperability Shortens Time-to-Market

SAN JOSE, Calif.--(BUSINESS WIRE)--May 13, 2002--LogicVision, Inc. (Nasdaq:LGVN - News), a leading provider of embedded test IP for integrated circuits and systems, and Verplex Systems, Inc., provider of high speed, high-capacity and easy-to-use formal verification products for complex SoC designs today announced the successful completion of interoperability testing with Verplex's Conformal(TM) Logic Equivalence Checker (LEC) formal verification product. This capability will further drive adoption of Embedded Test Solution(TM), shortening development and manufacturing time of IC designs.

The Conformal LEC formal verification tool provides customers with an alternate approach to simulation for verifying the functionality of their designs incorporating LogicVision's embedded test. Formal verification, when combined with static timing analysis, eliminates days of simulation tasks that would otherwise be required to confirm the intended chip function has not been altered as a result of changes to a design. The productivity gain becomes increasingly important for SoCs and complex ASIC designs, where lengthy simulation times can severely impact product development schedules.

"LogicVision's commitment in delivering embedded test products and solutions that shorten time to market of new LogicVision testable designs remains unwavering. Our relationship with Verplex in providing an accelerated mechanism for verifying test-ready designs is further evidence of that continuing commitment," said Mukesh Mowji, LogicVision's vice president of marketing. "We highly recommend leveraging Verplex's Conformal LEC in the LogicVision Embedded Test flow to minimize development time. Verplex's independence from the design tool flow gives us confidence that any design tool bugs will be identified in the verification process."

"LogicVision's commitment to its customers, along with its excellent products, makes it an ideal partner for Verplex," said Dino Caporossi, Verplex's vice president of corporate marketing. "As our customers' designs go through the many critical value-added transformations, such as embedded test, they count on Verplex's verification solutions for the independent audit assurance."

LogicVision's certification announcement of Verplex's formal verification product confirms Conformal(TM) LEC's ability to validate the functional mode of a design that incorporates embedded test. This achievement represents the first phase of the planned cooperation between the two companies, with the second phase addressing formal verification of the LogicVision test modes, including logic and memory BIST.

About LogicVision Inc.

LogicVision (Nasdaq:LGVN - News) provides proprietary technologies for embedded test that enable the more efficient design and manufacture of complex semiconductors. LogicVision's embedded test solution allows integrated circuit designers to embed into a semiconductor design test functionality that can be used during semiconductor production and throughout the useful life of the chip. For more information on the company and its products, please visit the LogicVision website at www.logicvision.com.

About Verplex Systems

Verplex Systems Inc. is an electronic design automation (EDA) company focusing on delivery of the highest speed, highest-capacity and easiest-to-use formal verification products for complex system-on-chip (SoC) design. Founded in 1997, it is privately held and funded by leading venture capital firms. Corporate headquarters is located at 300 Montague Expressway, Suite 100, Milpitas, Calif. 95035. Telephone: 408/586-0300. Facsimile: 408/586-0230. Email: info@verplex.com. Online information is found at its Web Site: http://www.verplex.com.

Forward Looking Statements

Except for the historical information contained herein, the matters set forth in this press release, including statements as to LogicVision's expectation that the capability of its embedded test to interoperate with Verplex's Conformal LEC formal verification product will further drive adoption of its Embedded Test Solution(TM) by customers, LogicVision's commitment to deliver embedded test products and solutions that shorten time to market of new LogicVision testable designs and its efforts to provide an accelerated mechanism for verifying test-ready designs, are forward-looking statements within the meaning of the Private Securities Litigation Reform Act of 1995. These forward-looking statements are subject to risk and uncertainties that could cause actual results to differ materially, including, but not limited to, the impact of technological advances and competitive products and other risks detailed from time to time in LogicVision's SEC reports, including its annual report on Form 10-K for the year ended December 31, 2001. These forward-looking statements speak only as of the date hereof. LogicVision disclaims any obligation to update these forward-looking statements.

Note to Editors: LogicVision, Embedded Test, LogicVision Ready and LogicVision logos are trademarks or registered trademarks of LogicVision Inc. in the United States and other countries. All other trademarks and service marks are the property of their respective owners.

Acronyms and Definitions:

ATE:        Automatic Test Equipment

ATPG:       Automatic Test Pattern Generation

BIST:       Built-in-Self-Test

DFT:        Design-for-Test

EDA:        Electronic Design Automation

GDSII:      An industry format describing the physical structure of
            the chip design and used to create mask tooling for chip
            manufacturing.

GUI:        Graphics User Interface

HDL:        Hardware Description Language - Describes the architecture
            and behavior of discrete electronic systems.

IC:         Integrated Circuit

RTL:        Register Transfer-Level - A chip design language format -
            technology independent that can be Verilog or VHDL.

Verilog:    A hardware description language used to design and
            document electronic systems.

VHDL:       VHSIC (Very High-Speed Integrated Circuit) HDL

IP:         Intellectual Property

SoC:        System-on-chip

     LogicVision Inc., San Jose
     Clarisse Balistreri, 408/453-0146
     clarisse@logicvision.com
            or
     The Loomis Group
     Vincent Mayeda, 909/614-1767
     vincent@loomisgroup.com
            or
     Verplex Systems Inc.
     Nanette V.Collins, 617/437-1822
     nanette@nvc.com